Libro
|
Lógica, programación e inteligencia artificial
|
Kowalski, Robert
|
1a ed.
(1986)
|
Domicilio
|
----------
|
Apunte de cátedra
|
Lógica. Curso 2005
|
Pons, Claudia Fabiana
|
(2005)
|
|
----------
|
Programa de estudio
|
Lógica. Cursos 2002-2004
|
Pons, Claudia Fabiana
|
(2002-2004)
|
|
----------
|
Libro
|
Models and ultraproducts: an introduction
|
Bell, J. L.
|
3rd rev. print.
(1974)
|
Domicilio
|
----------
|
Libro
|
Primer curso de lógica matemática
|
Suppes, Patrick
|
1a ed.
(2010)
|
Domicilio
|
----------
|
Libro
|
Programming languages theory and its implementation: applicative and imperative paradigms
|
Gordon, Michael J.C.
|
1st ed.
(1988)
|
Domicilio
|
----------
|
Libro
|
Quantum computing since Democritus:
|
Aaronson, Scott
|
1st ed.
(2013)
|
Domicilio
|
----------
|
Libro
|
Relations and graphs: discrete mathematics for computer scientists
|
Schmidt, Gunther
|
1st ed.
(c1993)
|
Domicilio
|
----------
|
Tesis
|
Sobre la representación de S4.3.:
|
Bonelli, Eduardo
|
(1996)
|
Sala
|
----------
|
Libro
|
The logical basis for computer programming
|
Manna, Zohar
|
(c1985-1990)
|
Domicilio
|
----------
|